<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>InferModules (infer.InferModules)</title><link rel="stylesheet" href="../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc %%VERSION%%"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../index.html">infer</a> &#x00BB; InferModules</nav><h1>Module <code>InferModules</code></h1></header><dl><dt class="spec module" id="module-ALVar"><a href="#module-ALVar" class="anchor"></a><code><span class="keyword">module</span> <a href="ALVar/index.html">ALVar</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Abs"><a href="#module-Abs" class="anchor"></a><code><span class="keyword">module</span> <a href="Abs/index.html">Abs</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-AbsLoc"><a href="#module-AbsLoc" class="anchor"></a><code><span class="keyword">module</span> <a href="AbsLoc/index.html">AbsLoc</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Absarray"><a href="#module-Absarray" class="anchor"></a><code><span class="keyword">module</span> <a href="Absarray/index.html">Absarray</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-AbstractDomain"><a href="#module-AbstractDomain" class="anchor"></a><code><span class="keyword">module</span> <a href="AbstractDomain/index.html">AbstractDomain</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-AbstractInterpreter"><a href="#module-AbstractInterpreter" class="anchor"></a><code><span class="keyword">module</span> <a href="AbstractInterpreter/index.html">AbstractInterpreter</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-AbstractInterpreterTests"><a href="#module-AbstractInterpreterTests" class="anchor"></a><code><span class="keyword">module</span> <a href="AbstractInterpreterTests/index.html">AbstractInterpreterTests</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-AccessPathDomains"><a href="#module-AccessPathDomains" class="anchor"></a><code><span class="keyword">module</span> <a href="AccessPathDomains/index.html">AccessPathDomains</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-AccessPathTestUtils"><a href="#module-AccessPathTestUtils" class="anchor"></a><code><span class="keyword">module</span> <a href="AccessPathTestUtils/index.html">AccessPathTestUtils</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-AccessPathTests"><a href="#module-AccessPathTests" class="anchor"></a><code><span class="keyword">module</span> <a href="AccessPathTests/index.html">AccessPathTests</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-AccessTree"><a href="#module-AccessTree" class="anchor"></a><code><span class="keyword">module</span> <a href="AccessTree/index.html">AccessTree</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-AccessTreeTests"><a href="#module-AccessTreeTests" class="anchor"></a><code><span class="keyword">module</span> <a href="AccessTreeTests/index.html">AccessTreeTests</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-AddressTaken"><a href="#module-AddressTaken" class="anchor"></a><code><span class="keyword">module</span> <a href="AddressTaken/index.html">AddressTaken</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-AddressTakenTests"><a href="#module-AddressTakenTests" class="anchor"></a><code><span class="keyword">module</span> <a href="AddressTakenTests/index.html">AddressTakenTests</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-AnalyzerTester"><a href="#module-AnalyzerTester" class="anchor"></a><code><span class="keyword">module</span> <a href="AnalyzerTester/index.html">AnalyzerTester</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-AndroidFramework"><a href="#module-AndroidFramework" class="anchor"></a><code><span class="keyword">module</span> <a href="AndroidFramework/index.html">AndroidFramework</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-AnnotatedSignature"><a href="#module-AnnotatedSignature" class="anchor"></a><code><span class="keyword">module</span> <a href="AnnotatedSignature/index.html">AnnotatedSignature</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-AnnotationReachability"><a href="#module-AnnotationReachability" class="anchor"></a><code><span class="keyword">module</span> <a href="AnnotationReachability/index.html">AnnotationReachability</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-AnnotationReachabilityDomain"><a href="#module-AnnotationReachabilityDomain" class="anchor"></a><code><span class="keyword">module</span> <a href="AnnotationReachabilityDomain/index.html">AnnotationReachabilityDomain</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Annotations"><a href="#module-Annotations" class="anchor"></a><code><span class="keyword">module</span> <a href="Annotations/index.html">Annotations</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-ArrayBlk"><a href="#module-ArrayBlk" class="anchor"></a><code><span class="keyword">module</span> <a href="ArrayBlk/index.html">ArrayBlk</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-AstToRangeMap"><a href="#module-AstToRangeMap" class="anchor"></a><code><span class="keyword">module</span> <a href="AstToRangeMap/index.html">AstToRangeMap</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Ast_expressions"><a href="#module-Ast_expressions" class="anchor"></a><code><span class="keyword">module</span> <a href="Ast_expressions/index.html">Ast_expressions</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Attribute"><a href="#module-Attribute" class="anchor"></a><code><span class="keyword">module</span> <a href="Attribute/index.html">Attribute</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-BackendStats"><a href="#module-BackendStats" class="anchor"></a><code><span class="keyword">module</span> <a href="BackendStats/index.html">BackendStats</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-BiabductionConfig"><a href="#module-BiabductionConfig" class="anchor"></a><code><span class="keyword">module</span> <a href="BiabductionConfig/index.html">BiabductionConfig</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-BiabductionSummary"><a href="#module-BiabductionSummary" class="anchor"></a><code><span class="keyword">module</span> <a href="BiabductionSummary/index.html">BiabductionSummary</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Bindings"><a href="#module-Bindings" class="anchor"></a><code><span class="keyword">module</span> <a href="Bindings/index.html">Bindings</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Boolean"><a href="#module-Boolean" class="anchor"></a><code><span class="keyword">module</span> <a href="Boolean/index.html">Boolean</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Bounds"><a href="#module-Bounds" class="anchor"></a><code><span class="keyword">module</span> <a href="Bounds/index.html">Bounds</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Buck"><a href="#module-Buck" class="anchor"></a><code><span class="keyword">module</span> <a href="Buck/index.html">Buck</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-BuckGenrule"><a href="#module-BuckGenrule" class="anchor"></a><code><span class="keyword">module</span> <a href="BuckGenrule/index.html">BuckGenrule</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Buckets"><a href="#module-Buckets" class="anchor"></a><code><span class="keyword">module</span> <a href="Buckets/index.html">Buckets</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-BufferOverrunAnalysis"><a href="#module-BufferOverrunAnalysis" class="anchor"></a><code><span class="keyword">module</span> <a href="BufferOverrunAnalysis/index.html">BufferOverrunAnalysis</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-BufferOverrunAnalysisSummary"><a href="#module-BufferOverrunAnalysisSummary" class="anchor"></a><code><span class="keyword">module</span> <a href="BufferOverrunAnalysisSummary/index.html">BufferOverrunAnalysisSummary</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-BufferOverrunChecker"><a href="#module-BufferOverrunChecker" class="anchor"></a><code><span class="keyword">module</span> <a href="BufferOverrunChecker/index.html">BufferOverrunChecker</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-BufferOverrunCheckerSummary"><a href="#module-BufferOverrunCheckerSummary" class="anchor"></a><code><span class="keyword">module</span> <a href="BufferOverrunCheckerSummary/index.html">BufferOverrunCheckerSummary</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-BufferOverrunDomain"><a href="#module-BufferOverrunDomain" class="anchor"></a><code><span class="keyword">module</span> <a href="BufferOverrunDomain/index.html">BufferOverrunDomain</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-BufferOverrunDomainRelation"><a href="#module-BufferOverrunDomainRelation" class="anchor"></a><code><span class="keyword">module</span> <a href="BufferOverrunDomainRelation/index.html">BufferOverrunDomainRelation</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-BufferOverrunField"><a href="#module-BufferOverrunField" class="anchor"></a><code><span class="keyword">module</span> <a href="BufferOverrunField/index.html">BufferOverrunField</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-BufferOverrunModels"><a href="#module-BufferOverrunModels" class="anchor"></a><code><span class="keyword">module</span> <a href="BufferOverrunModels/index.html">BufferOverrunModels</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-BufferOverrunOndemandEnv"><a href="#module-BufferOverrunOndemandEnv" class="anchor"></a><code><span class="keyword">module</span> <a href="BufferOverrunOndemandEnv/index.html">BufferOverrunOndemandEnv</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-BufferOverrunProofObligations"><a href="#module-BufferOverrunProofObligations" class="anchor"></a><code><span class="keyword">module</span> <a href="BufferOverrunProofObligations/index.html">BufferOverrunProofObligations</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-BufferOverrunSemantics"><a href="#module-BufferOverrunSemantics" class="anchor"></a><code><span class="keyword">module</span> <a href="BufferOverrunSemantics/index.html">BufferOverrunSemantics</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-BufferOverrunTrace"><a href="#module-BufferOverrunTrace" class="anchor"></a><code><span class="keyword">module</span> <a href="BufferOverrunTrace/index.html">BufferOverrunTrace</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-BufferOverrunTypModels"><a href="#module-BufferOverrunTypModels" class="anchor"></a><code><span class="keyword">module</span> <a href="BufferOverrunTypModels/index.html">BufferOverrunTypModels</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-BufferOverrunUtils"><a href="#module-BufferOverrunUtils" class="anchor"></a><code><span class="keyword">module</span> <a href="BufferOverrunUtils/index.html">BufferOverrunUtils</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Builtin"><a href="#module-Builtin" class="anchor"></a><code><span class="keyword">module</span> <a href="Builtin/index.html">Builtin</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-BuiltinDefn"><a href="#module-BuiltinDefn" class="anchor"></a><code><span class="keyword">module</span> <a href="BuiltinDefn/index.html">BuiltinDefn</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-CArithmetic_trans"><a href="#module-CArithmetic_trans" class="anchor"></a><code><span class="keyword">module</span> <a href="CArithmetic_trans/index.html">CArithmetic_trans</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-CAst_utils"><a href="#module-CAst_utils" class="anchor"></a><code><span class="keyword">module</span> <a href="CAst_utils/index.html">CAst_utils</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-CContext"><a href="#module-CContext" class="anchor"></a><code><span class="keyword">module</span> <a href="CContext/index.html">CContext</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-CEnum_decl"><a href="#module-CEnum_decl" class="anchor"></a><code><span class="keyword">module</span> <a href="CEnum_decl/index.html">CEnum_decl</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-CField_decl"><a href="#module-CField_decl" class="anchor"></a><code><span class="keyword">module</span> <a href="CField_decl/index.html">CField_decl</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-CFrontend"><a href="#module-CFrontend" class="anchor"></a><code><span class="keyword">module</span> <a href="CFrontend/index.html">CFrontend</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-CFrontend_checkers"><a href="#module-CFrontend_checkers" class="anchor"></a><code><span class="keyword">module</span> <a href="CFrontend_checkers/index.html">CFrontend_checkers</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-CFrontend_checkers_main"><a href="#module-CFrontend_checkers_main" class="anchor"></a><code><span class="keyword">module</span> <a href="CFrontend_checkers_main/index.html">CFrontend_checkers_main</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-CFrontend_config"><a href="#module-CFrontend_config" class="anchor"></a><code><span class="keyword">module</span> <a href="CFrontend_config/index.html">CFrontend_config</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-CFrontend_decl"><a href="#module-CFrontend_decl" class="anchor"></a><code><span class="keyword">module</span> <a href="CFrontend_decl/index.html">CFrontend_decl</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-CFrontend_errors"><a href="#module-CFrontend_errors" class="anchor"></a><code><span class="keyword">module</span> <a href="CFrontend_errors/index.html">CFrontend_errors</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-CFrontend_errorsTests"><a href="#module-CFrontend_errorsTests" class="anchor"></a><code><span class="keyword">module</span> <a href="CFrontend_errorsTests/index.html">CFrontend_errorsTests</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-CGeneral_utils"><a href="#module-CGeneral_utils" class="anchor"></a><code><span class="keyword">module</span> <a href="CGeneral_utils/index.html">CGeneral_utils</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-CIssue"><a href="#module-CIssue" class="anchor"></a><code><span class="keyword">module</span> <a href="CIssue/index.html">CIssue</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-CLintersContext"><a href="#module-CLintersContext" class="anchor"></a><code><span class="keyword">module</span> <a href="CLintersContext/index.html">CLintersContext</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-CLocation"><a href="#module-CLocation" class="anchor"></a><code><span class="keyword">module</span> <a href="CLocation/index.html">CLocation</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-CMethodProperties"><a href="#module-CMethodProperties" class="anchor"></a><code><span class="keyword">module</span> <a href="CMethodProperties/index.html">CMethodProperties</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-CMethodSignature"><a href="#module-CMethodSignature" class="anchor"></a><code><span class="keyword">module</span> <a href="CMethodSignature/index.html">CMethodSignature</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-CMethod_trans"><a href="#module-CMethod_trans" class="anchor"></a><code><span class="keyword">module</span> <a href="CMethod_trans/index.html">CMethod_trans</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-CModule_type"><a href="#module-CModule_type" class="anchor"></a><code><span class="keyword">module</span> <a href="CModule_type/index.html">CModule_type</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-CPredicates"><a href="#module-CPredicates" class="anchor"></a><code><span class="keyword">module</span> <a href="CPredicates/index.html">CPredicates</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-CScope"><a href="#module-CScope" class="anchor"></a><code><span class="keyword">module</span> <a href="CScope/index.html">CScope</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-CTL"><a href="#module-CTL" class="anchor"></a><code><span class="keyword">module</span> <a href="CTL/index.html">CTL</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-CTLExceptions"><a href="#module-CTLExceptions" class="anchor"></a><code><span class="keyword">module</span> <a href="CTLExceptions/index.html">CTLExceptions</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-CTLParserHelper"><a href="#module-CTLParserHelper" class="anchor"></a><code><span class="keyword">module</span> <a href="CTLParserHelper/index.html">CTLParserHelper</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-CTrans"><a href="#module-CTrans" class="anchor"></a><code><span class="keyword">module</span> <a href="CTrans/index.html">CTrans</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-CTrans_models"><a href="#module-CTrans_models" class="anchor"></a><code><span class="keyword">module</span> <a href="CTrans_models/index.html">CTrans_models</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-CTrans_utils"><a href="#module-CTrans_utils" class="anchor"></a><code><span class="keyword">module</span> <a href="CTrans_utils/index.html">CTrans_utils</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-CType"><a href="#module-CType" class="anchor"></a><code><span class="keyword">module</span> <a href="CType/index.html">CType</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-CType_decl"><a href="#module-CType_decl" class="anchor"></a><code><span class="keyword">module</span> <a href="CType_decl/index.html">CType_decl</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-CType_to_sil_type"><a href="#module-CType_to_sil_type" class="anchor"></a><code><span class="keyword">module</span> <a href="CType_to_sil_type/index.html">CType_to_sil_type</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-CVar_decl"><a href="#module-CVar_decl" class="anchor"></a><code><span class="keyword">module</span> <a href="CVar_decl/index.html">CVar_decl</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-CallGraph"><a href="#module-CallGraph" class="anchor"></a><code><span class="keyword">module</span> <a href="CallGraph/index.html">CallGraph</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Callbacks"><a href="#module-Callbacks" class="anchor"></a><code><span class="keyword">module</span> <a href="Callbacks/index.html">Callbacks</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Capture"><a href="#module-Capture" class="anchor"></a><code><span class="keyword">module</span> <a href="Capture/index.html">Capture</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-CaptureCompilationDatabase"><a href="#module-CaptureCompilationDatabase" class="anchor"></a><code><span class="keyword">module</span> <a href="CaptureCompilationDatabase/index.html">CaptureCompilationDatabase</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-CiOSVersionNumbers"><a href="#module-CiOSVersionNumbers" class="anchor"></a><code><span class="keyword">module</span> <a href="CiOSVersionNumbers/index.html">CiOSVersionNumbers</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-CiOSVersionNumbersTests"><a href="#module-CiOSVersionNumbersTests" class="anchor"></a><code><span class="keyword">module</span> <a href="CiOSVersionNumbersTests/index.html">CiOSVersionNumbersTests</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Clang"><a href="#module-Clang" class="anchor"></a><code><span class="keyword">module</span> <a href="Clang/index.html">Clang</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-ClangCommand"><a href="#module-ClangCommand" class="anchor"></a><code><span class="keyword">module</span> <a href="ClangCommand/index.html">ClangCommand</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-ClangLogging"><a href="#module-ClangLogging" class="anchor"></a><code><span class="keyword">module</span> <a href="ClangLogging/index.html">ClangLogging</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-ClangPointers"><a href="#module-ClangPointers" class="anchor"></a><code><span class="keyword">module</span> <a href="ClangPointers/index.html">ClangPointers</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-ClangQuotes"><a href="#module-ClangQuotes" class="anchor"></a><code><span class="keyword">module</span> <a href="ClangQuotes/index.html">ClangQuotes</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-ClangTaintAnalysis"><a href="#module-ClangTaintAnalysis" class="anchor"></a><code><span class="keyword">module</span> <a href="ClangTaintAnalysis/index.html">ClangTaintAnalysis</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-ClangTests"><a href="#module-ClangTests" class="anchor"></a><code><span class="keyword">module</span> <a href="ClangTests/index.html">ClangTests</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-ClangTrace"><a href="#module-ClangTrace" class="anchor"></a><code><span class="keyword">module</span> <a href="ClangTrace/index.html">ClangTrace</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-ClangWrapper"><a href="#module-ClangWrapper" class="anchor"></a><code><span class="keyword">module</span> <a href="ClangWrapper/index.html">ClangWrapper</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Clang_ast_extend"><a href="#module-Clang_ast_extend" class="anchor"></a><code><span class="keyword">module</span> <a href="Clang_ast_extend/index.html">Clang_ast_extend</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-ClassLoads"><a href="#module-ClassLoads" class="anchor"></a><code><span class="keyword">module</span> <a href="ClassLoads/index.html">ClassLoads</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-ClassLoadsDomain"><a href="#module-ClassLoadsDomain" class="anchor"></a><code><span class="keyword">module</span> <a href="ClassLoadsDomain/index.html">ClassLoadsDomain</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-CompilationDatabase"><a href="#module-CompilationDatabase" class="anchor"></a><code><span class="keyword">module</span> <a href="CompilationDatabase/index.html">CompilationDatabase</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-ComponentKit"><a href="#module-ComponentKit" class="anchor"></a><code><span class="keyword">module</span> <a href="ComponentKit/index.html">ComponentKit</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-ConcurrencyModels"><a href="#module-ConcurrencyModels" class="anchor"></a><code><span class="keyword">module</span> <a href="ConcurrencyModels/index.html">ConcurrencyModels</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Control"><a href="#module-Control" class="anchor"></a><code><span class="keyword">module</span> <a href="Control/index.html">Control</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Cost"><a href="#module-Cost" class="anchor"></a><code><span class="keyword">module</span> <a href="Cost/index.html">Cost</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-CostDomain"><a href="#module-CostDomain" class="anchor"></a><code><span class="keyword">module</span> <a href="CostDomain/index.html">CostDomain</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-CostModels"><a href="#module-CostModels" class="anchor"></a><code><span class="keyword">module</span> <a href="CostModels/index.html">CostModels</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Counter"><a href="#module-Counter" class="anchor"></a><code><span class="keyword">module</span> <a href="Counter/index.html">Counter</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Ctl_lexer"><a href="#module-Ctl_lexer" class="anchor"></a><code><span class="keyword">module</span> <a href="Ctl_lexer/index.html">Ctl_lexer</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Ctl_parser"><a href="#module-Ctl_parser" class="anchor"></a><code><span class="keyword">module</span> <a href="Ctl_parser/index.html">Ctl_parser</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Ctl_parser_types"><a href="#module-Ctl_parser_types" class="anchor"></a><code><span class="keyword">module</span> <a href="Ctl_parser_types/index.html">Ctl_parser_types</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Dataflow"><a href="#module-Dataflow" class="anchor"></a><code><span class="keyword">module</span> <a href="Dataflow/index.html">Dataflow</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Differential"><a href="#module-Differential" class="anchor"></a><code><span class="keyword">module</span> <a href="Differential/index.html">Differential</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-DifferentialFilters"><a href="#module-DifferentialFilters" class="anchor"></a><code><span class="keyword">module</span> <a href="DifferentialFilters/index.html">DifferentialFilters</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-DifferentialFiltersTests"><a href="#module-DifferentialFiltersTests" class="anchor"></a><code><span class="keyword">module</span> <a href="DifferentialFiltersTests/index.html">DifferentialFiltersTests</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-DifferentialTests"><a href="#module-DifferentialTests" class="anchor"></a><code><span class="keyword">module</span> <a href="DifferentialTests/index.html">DifferentialTests</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-DifferentialTestsUtils"><a href="#module-DifferentialTestsUtils" class="anchor"></a><code><span class="keyword">module</span> <a href="DifferentialTestsUtils/index.html">DifferentialTestsUtils</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Dom"><a href="#module-Dom" class="anchor"></a><code><span class="keyword">module</span> <a href="Dom/index.html">Dom</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Dominators"><a href="#module-Dominators" class="anchor"></a><code><span class="keyword">module</span> <a href="Dominators/index.html">Dominators</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Dotty"><a href="#module-Dotty" class="anchor"></a><code><span class="keyword">module</span> <a href="Dotty/index.html">Dotty</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Driver"><a href="#module-Driver" class="anchor"></a><code><span class="keyword">module</span> <a href="Driver/index.html">Driver</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Eradicate"><a href="#module-Eradicate" class="anchor"></a><code><span class="keyword">module</span> <a href="Eradicate/index.html">Eradicate</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-EradicateCheckers"><a href="#module-EradicateCheckers" class="anchor"></a><code><span class="keyword">module</span> <a href="EradicateCheckers/index.html">EradicateCheckers</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-EradicateChecks"><a href="#module-EradicateChecks" class="anchor"></a><code><span class="keyword">module</span> <a href="EradicateChecks/index.html">EradicateChecks</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Errdesc"><a href="#module-Errdesc" class="anchor"></a><code><span class="keyword">module</span> <a href="Errdesc/index.html">Errdesc</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Exe_env"><a href="#module-Exe_env" class="anchor"></a><code><span class="keyword">module</span> <a href="Exe_env/index.html">Exe_env</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-ExplicitTrace"><a href="#module-ExplicitTrace" class="anchor"></a><code><span class="keyword">module</span> <a href="ExplicitTrace/index.html">ExplicitTrace</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-ExternalPerfData"><a href="#module-ExternalPerfData" class="anchor"></a><code><span class="keyword">module</span> <a href="ExternalPerfData/index.html">ExternalPerfData</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-FbThreadSafety"><a href="#module-FbThreadSafety" class="anchor"></a><code><span class="keyword">module</span> <a href="FbThreadSafety/index.html">FbThreadSafety</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-FileDiffTests"><a href="#module-FileDiffTests" class="anchor"></a><code><span class="keyword">module</span> <a href="FileDiffTests/index.html">FileDiffTests</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-FormalMap"><a href="#module-FormalMap" class="anchor"></a><code><span class="keyword">module</span> <a href="FormalMap/index.html">FormalMap</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-FragmentRetainsViewChecker"><a href="#module-FragmentRetainsViewChecker" class="anchor"></a><code><span class="keyword">module</span> <a href="FragmentRetainsViewChecker/index.html">FragmentRetainsViewChecker</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-FunctionPointers"><a href="#module-FunctionPointers" class="anchor"></a><code><span class="keyword">module</span> <a href="FunctionPointers/index.html">FunctionPointers</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Hoisting"><a href="#module-Hoisting" class="anchor"></a><code><span class="keyword">module</span> <a href="Hoisting/index.html">Hoisting</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-IListTests"><a href="#module-IListTests" class="anchor"></a><code><span class="keyword">module</span> <a href="IListTests/index.html">IListTests</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-IdAccessPathMapDomain"><a href="#module-IdAccessPathMapDomain" class="anchor"></a><code><span class="keyword">module</span> <a href="IdAccessPathMapDomain/index.html">IdAccessPathMapDomain</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Idenv"><a href="#module-Idenv" class="anchor"></a><code><span class="keyword">module</span> <a href="Idenv/index.html">Idenv</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-ImmutableChecker"><a href="#module-ImmutableChecker" class="anchor"></a><code><span class="keyword">module</span> <a href="ImmutableChecker/index.html">ImmutableChecker</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-InefficientKeysetIterator"><a href="#module-InefficientKeysetIterator" class="anchor"></a><code><span class="keyword">module</span> <a href="InefficientKeysetIterator/index.html">InefficientKeysetIterator</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-InferAnalyze"><a href="#module-InferAnalyze" class="anchor"></a><code><span class="keyword">module</span> <a href="InferAnalyze/index.html">InferAnalyze</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-InferPrint"><a href="#module-InferPrint" class="anchor"></a><code><span class="keyword">module</span> <a href="InferPrint/index.html">InferPrint</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Inferconfig"><a href="#module-Inferconfig" class="anchor"></a><code><span class="keyword">module</span> <a href="Inferconfig/index.html">Inferconfig</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Interproc"><a href="#module-Interproc" class="anchor"></a><code><span class="keyword">module</span> <a href="Interproc/index.html">Interproc</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Ints"><a href="#module-Ints" class="anchor"></a><code><span class="keyword">module</span> <a href="Ints/index.html">Ints</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Issue"><a href="#module-Issue" class="anchor"></a><code><span class="keyword">module</span> <a href="Issue/index.html">Issue</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-IssueAuxData"><a href="#module-IssueAuxData" class="anchor"></a><code><span class="keyword">module</span> <a href="IssueAuxData/index.html">IssueAuxData</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Itv"><a href="#module-Itv" class="anchor"></a><code><span class="keyword">module</span> <a href="Itv/index.html">Itv</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-JAnnotation"><a href="#module-JAnnotation" class="anchor"></a><code><span class="keyword">module</span> <a href="JAnnotation/index.html">JAnnotation</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-JClasspath"><a href="#module-JClasspath" class="anchor"></a><code><span class="keyword">module</span> <a href="JClasspath/index.html">JClasspath</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-JConfig"><a href="#module-JConfig" class="anchor"></a><code><span class="keyword">module</span> <a href="JConfig/index.html">JConfig</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-JContext"><a href="#module-JContext" class="anchor"></a><code><span class="keyword">module</span> <a href="JContext/index.html">JContext</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-JFrontend"><a href="#module-JFrontend" class="anchor"></a><code><span class="keyword">module</span> <a href="JFrontend/index.html">JFrontend</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-JMain"><a href="#module-JMain" class="anchor"></a><code><span class="keyword">module</span> <a href="JMain/index.html">JMain</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-JTrans"><a href="#module-JTrans" class="anchor"></a><code><span class="keyword">module</span> <a href="JTrans/index.html">JTrans</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-JTransExn"><a href="#module-JTransExn" class="anchor"></a><code><span class="keyword">module</span> <a href="JTransExn/index.html">JTransExn</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-JTransType"><a href="#module-JTransType" class="anchor"></a><code><span class="keyword">module</span> <a href="JTransType/index.html">JTransType</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-JavaProfilerSamples"><a href="#module-JavaProfilerSamples" class="anchor"></a><code><span class="keyword">module</span> <a href="JavaProfilerSamples/index.html">JavaProfilerSamples</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-JavaProfilerSamplesTest"><a href="#module-JavaProfilerSamplesTest" class="anchor"></a><code><span class="keyword">module</span> <a href="JavaProfilerSamplesTest/index.html">JavaProfilerSamplesTest</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-JavaTaintAnalysis"><a href="#module-JavaTaintAnalysis" class="anchor"></a><code><span class="keyword">module</span> <a href="JavaTaintAnalysis/index.html">JavaTaintAnalysis</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-JavaTrace"><a href="#module-JavaTrace" class="anchor"></a><code><span class="keyword">module</span> <a href="JavaTrace/index.html">JavaTrace</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Javac"><a href="#module-Javac" class="anchor"></a><code><span class="keyword">module</span> <a href="Javac/index.html">Javac</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-JoinState"><a href="#module-JoinState" class="anchor"></a><code><span class="keyword">module</span> <a href="JoinState/index.html">JoinState</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Litho"><a href="#module-Litho" class="anchor"></a><code><span class="keyword">module</span> <a href="Litho/index.html">Litho</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-LithoDomain"><a href="#module-LithoDomain" class="anchor"></a><code><span class="keyword">module</span> <a href="LithoDomain/index.html">LithoDomain</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Liveness"><a href="#module-Liveness" class="anchor"></a><code><span class="keyword">module</span> <a href="Liveness/index.html">Liveness</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-LivenessTests"><a href="#module-LivenessTests" class="anchor"></a><code><span class="keyword">module</span> <a href="LivenessTests/index.html">LivenessTests</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-LogEntry"><a href="#module-LogEntry" class="anchor"></a><code><span class="keyword">module</span> <a href="LogEntry/index.html">LogEntry</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-LoopInvariant"><a href="#module-LoopInvariant" class="anchor"></a><code><span class="keyword">module</span> <a href="LoopInvariant/index.html">LoopInvariant</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Loop_control"><a href="#module-Loop_control" class="anchor"></a><code><span class="keyword">module</span> <a href="Loop_control/index.html">Loop_control</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-LowerHil"><a href="#module-LowerHil" class="anchor"></a><code><span class="keyword">module</span> <a href="LowerHil/index.html">LowerHil</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Match"><a href="#module-Match" class="anchor"></a><code><span class="keyword">module</span> <a href="Match/index.html">Match</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Maven"><a href="#module-Maven" class="anchor"></a><code><span class="keyword">module</span> <a href="Maven/index.html">Maven</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-MaximumSharingTests"><a href="#module-MaximumSharingTests" class="anchor"></a><code><span class="keyword">module</span> <a href="MaximumSharingTests/index.html">MaximumSharingTests</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-MergeCapture"><a href="#module-MergeCapture" class="anchor"></a><code><span class="keyword">module</span> <a href="MergeCapture/index.html">MergeCapture</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-MethodMatcher"><a href="#module-MethodMatcher" class="anchor"></a><code><span class="keyword">module</span> <a href="MethodMatcher/index.html">MethodMatcher</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-ModelTables"><a href="#module-ModelTables" class="anchor"></a><code><span class="keyword">module</span> <a href="ModelTables/index.html">ModelTables</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Models"><a href="#module-Models" class="anchor"></a><code><span class="keyword">module</span> <a href="Models/index.html">Models</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-NodePrinter"><a href="#module-NodePrinter" class="anchor"></a><code><span class="keyword">module</span> <a href="NodePrinter/index.html">NodePrinter</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-NullabilityCheck"><a href="#module-NullabilityCheck" class="anchor"></a><code><span class="keyword">module</span> <a href="NullabilityCheck/index.html">NullabilityCheck</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-NullabilityPreanalysis"><a href="#module-NullabilityPreanalysis" class="anchor"></a><code><span class="keyword">module</span> <a href="NullabilityPreanalysis/index.html">NullabilityPreanalysis</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-NullabilitySuggest"><a href="#module-NullabilitySuggest" class="anchor"></a><code><span class="keyword">module</span> <a href="NullabilitySuggest/index.html">NullabilitySuggest</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-ObjcCategory_decl"><a href="#module-ObjcCategory_decl" class="anchor"></a><code><span class="keyword">module</span> <a href="ObjcCategory_decl/index.html">ObjcCategory_decl</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-ObjcInterface_decl"><a href="#module-ObjcInterface_decl" class="anchor"></a><code><span class="keyword">module</span> <a href="ObjcInterface_decl/index.html">ObjcInterface_decl</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-ObjcMethod_decl"><a href="#module-ObjcMethod_decl" class="anchor"></a><code><span class="keyword">module</span> <a href="ObjcMethod_decl/index.html">ObjcMethod_decl</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-ObjcProperty_decl"><a href="#module-ObjcProperty_decl" class="anchor"></a><code><span class="keyword">module</span> <a href="ObjcProperty_decl/index.html">ObjcProperty_decl</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-ObjcProtocol_decl"><a href="#module-ObjcProtocol_decl" class="anchor"></a><code><span class="keyword">module</span> <a href="ObjcProtocol_decl/index.html">ObjcProtocol_decl</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Ondemand"><a href="#module-Ondemand" class="anchor"></a><code><span class="keyword">module</span> <a href="Ondemand/index.html">Ondemand</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-OndemandCapture"><a href="#module-OndemandCapture" class="anchor"></a><code><span class="keyword">module</span> <a href="OndemandCapture/index.html">OndemandCapture</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Passthrough"><a href="#module-Passthrough" class="anchor"></a><code><span class="keyword">module</span> <a href="Passthrough/index.html">Passthrough</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Paths"><a href="#module-Paths" class="anchor"></a><code><span class="keyword">module</span> <a href="Paths/index.html">Paths</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-PatternMatch"><a href="#module-PatternMatch" class="anchor"></a><code><span class="keyword">module</span> <a href="PatternMatch/index.html">PatternMatch</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Payloads"><a href="#module-Payloads" class="anchor"></a><code><span class="keyword">module</span> <a href="Payloads/index.html">Payloads</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-PerfProfilerATDParserTest"><a href="#module-PerfProfilerATDParserTest" class="anchor"></a><code><span class="keyword">module</span> <a href="PerfProfilerATDParserTest/index.html">PerfProfilerATDParserTest</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-PerfStats"><a href="#module-PerfStats" class="anchor"></a><code><span class="keyword">module</span> <a href="PerfStats/index.html">PerfStats</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Polynomials"><a href="#module-Polynomials" class="anchor"></a><code><span class="keyword">module</span> <a href="Polynomials/index.html">Polynomials</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Preanal"><a href="#module-Preanal" class="anchor"></a><code><span class="keyword">module</span> <a href="Preanal/index.html">Preanal</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Printer"><a href="#module-Printer" class="anchor"></a><code><span class="keyword">module</span> <a href="Printer/index.html">Printer</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-PrintfArgs"><a href="#module-PrintfArgs" class="anchor"></a><code><span class="keyword">module</span> <a href="PrintfArgs/index.html">PrintfArgs</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-ProcCfg"><a href="#module-ProcCfg" class="anchor"></a><code><span class="keyword">module</span> <a href="ProcCfg/index.html">ProcCfg</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-ProcCfgTests"><a href="#module-ProcCfgTests" class="anchor"></a><code><span class="keyword">module</span> <a href="ProcCfgTests/index.html">ProcCfgTests</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-ProcData"><a href="#module-ProcData" class="anchor"></a><code><span class="keyword">module</span> <a href="ProcData/index.html">ProcData</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Procedures"><a href="#module-Procedures" class="anchor"></a><code><span class="keyword">module</span> <a href="Procedures/index.html">Procedures</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Prop"><a href="#module-Prop" class="anchor"></a><code><span class="keyword">module</span> <a href="Prop/index.html">Prop</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-PropUtil"><a href="#module-PropUtil" class="anchor"></a><code><span class="keyword">module</span> <a href="PropUtil/index.html">PropUtil</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Propgraph"><a href="#module-Propgraph" class="anchor"></a><code><span class="keyword">module</span> <a href="Propgraph/index.html">Propgraph</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Propset"><a href="#module-Propset" class="anchor"></a><code><span class="keyword">module</span> <a href="Propset/index.html">Propset</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Prover"><a href="#module-Prover" class="anchor"></a><code><span class="keyword">module</span> <a href="Prover/index.html">Prover</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Pulse"><a href="#module-Pulse" class="anchor"></a><code><span class="keyword">module</span> <a href="Pulse/index.html">Pulse</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-PulseAbductiveDomain"><a href="#module-PulseAbductiveDomain" class="anchor"></a><code><span class="keyword">module</span> <a href="PulseAbductiveDomain/index.html">PulseAbductiveDomain</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-PulseDiagnostic"><a href="#module-PulseDiagnostic" class="anchor"></a><code><span class="keyword">module</span> <a href="PulseDiagnostic/index.html">PulseDiagnostic</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-PulseDomain"><a href="#module-PulseDomain" class="anchor"></a><code><span class="keyword">module</span> <a href="PulseDomain/index.html">PulseDomain</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-PulseModels"><a href="#module-PulseModels" class="anchor"></a><code><span class="keyword">module</span> <a href="PulseModels/index.html">PulseModels</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-PulseOperations"><a href="#module-PulseOperations" class="anchor"></a><code><span class="keyword">module</span> <a href="PulseOperations/index.html">PulseOperations</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-PulsePayload"><a href="#module-PulsePayload" class="anchor"></a><code><span class="keyword">module</span> <a href="PulsePayload/index.html">PulsePayload</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-PulseSummary"><a href="#module-PulseSummary" class="anchor"></a><code><span class="keyword">module</span> <a href="PulseSummary/index.html">PulseSummary</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Purity"><a href="#module-Purity" class="anchor"></a><code><span class="keyword">module</span> <a href="Purity/index.html">Purity</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-PurityDomain"><a href="#module-PurityDomain" class="anchor"></a><code><span class="keyword">module</span> <a href="PurityDomain/index.html">PurityDomain</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-PurityModels"><a href="#module-PurityModels" class="anchor"></a><code><span class="keyword">module</span> <a href="PurityModels/index.html">PurityModels</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-QualifiedCppNameTests"><a href="#module-QualifiedCppNameTests" class="anchor"></a><code><span class="keyword">module</span> <a href="QualifiedCppNameTests/index.html">QualifiedCppNameTests</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-QuandaryBO"><a href="#module-QuandaryBO" class="anchor"></a><code><span class="keyword">module</span> <a href="QuandaryBO/index.html">QuandaryBO</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-QuandaryConfig"><a href="#module-QuandaryConfig" class="anchor"></a><code><span class="keyword">module</span> <a href="QuandaryConfig/index.html">QuandaryConfig</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-QuandarySummary"><a href="#module-QuandarySummary" class="anchor"></a><code><span class="keyword">module</span> <a href="QuandarySummary/index.html">QuandarySummary</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-RacerD"><a href="#module-RacerD" class="anchor"></a><code><span class="keyword">module</span> <a href="RacerD/index.html">RacerD</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-RacerDDomain"><a href="#module-RacerDDomain" class="anchor"></a><code><span class="keyword">module</span> <a href="RacerDDomain/index.html">RacerDDomain</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-RacerDModels"><a href="#module-RacerDModels" class="anchor"></a><code><span class="keyword">module</span> <a href="RacerDModels/index.html">RacerDModels</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-ReachingDefs"><a href="#module-ReachingDefs" class="anchor"></a><code><span class="keyword">module</span> <a href="ReachingDefs/index.html">ReachingDefs</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Rearrange"><a href="#module-Rearrange" class="anchor"></a><code><span class="keyword">module</span> <a href="Rearrange/index.html">Rearrange</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-RegisterCheckers"><a href="#module-RegisterCheckers" class="anchor"></a><code><span class="keyword">module</span> <a href="RegisterCheckers/index.html">RegisterCheckers</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-ReportDiff"><a href="#module-ReportDiff" class="anchor"></a><code><span class="keyword">module</span> <a href="ReportDiff/index.html">ReportDiff</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Reporting"><a href="#module-Reporting" class="anchor"></a><code><span class="keyword">module</span> <a href="Reporting/index.html">Reporting</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-ResourceLeakDomain"><a href="#module-ResourceLeakDomain" class="anchor"></a><code><span class="keyword">module</span> <a href="ResourceLeakDomain/index.html">ResourceLeakDomain</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-ResourceLeaks"><a href="#module-ResourceLeaks" class="anchor"></a><code><span class="keyword">module</span> <a href="ResourceLeaks/index.html">ResourceLeaks</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-RetainCycles"><a href="#module-RetainCycles" class="anchor"></a><code><span class="keyword">module</span> <a href="RetainCycles/index.html">RetainCycles</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-RetainCyclesType"><a href="#module-RetainCyclesType" class="anchor"></a><code><span class="keyword">module</span> <a href="RetainCyclesType/index.html">RetainCyclesType</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-ReverseAnalysisCallGraph"><a href="#module-ReverseAnalysisCallGraph" class="anchor"></a><code><span class="keyword">module</span> <a href="ReverseAnalysisCallGraph/index.html">ReverseAnalysisCallGraph</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Sanitizer"><a href="#module-Sanitizer" class="anchor"></a><code><span class="keyword">module</span> <a href="Sanitizer/index.html">Sanitizer</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Scheduler"><a href="#module-Scheduler" class="anchor"></a><code><span class="keyword">module</span> <a href="Scheduler/index.html">Scheduler</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-SchedulerTests"><a href="#module-SchedulerTests" class="anchor"></a><code><span class="keyword">module</span> <a href="SchedulerTests/index.html">SchedulerTests</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Scribe"><a href="#module-Scribe" class="anchor"></a><code><span class="keyword">module</span> <a href="Scribe/index.html">Scribe</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Scuba"><a href="#module-Scuba" class="anchor"></a><code><span class="keyword">module</span> <a href="Scuba/index.html">Scuba</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-ScubaLogging"><a href="#module-ScubaLogging" class="anchor"></a><code><span class="keyword">module</span> <a href="ScubaLogging/index.html">ScubaLogging</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-SeverityTests"><a href="#module-SeverityTests" class="anchor"></a><code><span class="keyword">module</span> <a href="SeverityTests/index.html">SeverityTests</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-SimpleChecker"><a href="#module-SimpleChecker" class="anchor"></a><code><span class="keyword">module</span> <a href="SimpleChecker/index.html">SimpleChecker</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Sink"><a href="#module-Sink" class="anchor"></a><code><span class="keyword">module</span> <a href="Sink/index.html">Sink</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-SinkTrace"><a href="#module-SinkTrace" class="anchor"></a><code><span class="keyword">module</span> <a href="SinkTrace/index.html">SinkTrace</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Siof"><a href="#module-Siof" class="anchor"></a><code><span class="keyword">module</span> <a href="Siof/index.html">Siof</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-SiofDomain"><a href="#module-SiofDomain" class="anchor"></a><code><span class="keyword">module</span> <a href="SiofDomain/index.html">SiofDomain</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-SiofTrace"><a href="#module-SiofTrace" class="anchor"></a><code><span class="keyword">module</span> <a href="SiofTrace/index.html">SiofTrace</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Source"><a href="#module-Source" class="anchor"></a><code><span class="keyword">module</span> <a href="Source/index.html">Source</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-SpecsFiles"><a href="#module-SpecsFiles" class="anchor"></a><code><span class="keyword">module</span> <a href="SpecsFiles/index.html">SpecsFiles</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Starvation"><a href="#module-Starvation" class="anchor"></a><code><span class="keyword">module</span> <a href="Starvation/index.html">Starvation</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-StarvationDomain"><a href="#module-StarvationDomain" class="anchor"></a><code><span class="keyword">module</span> <a href="StarvationDomain/index.html">StarvationDomain</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-StarvationModels"><a href="#module-StarvationModels" class="anchor"></a><code><span class="keyword">module</span> <a href="StarvationModels/index.html">StarvationModels</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-State"><a href="#module-State" class="anchor"></a><code><span class="keyword">module</span> <a href="State/index.html">State</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-StatsAggregator"><a href="#module-StatsAggregator" class="anchor"></a><code><span class="keyword">module</span> <a href="StatsAggregator/index.html">StatsAggregator</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Summary"><a href="#module-Summary" class="anchor"></a><code><span class="keyword">module</span> <a href="Summary/index.html">Summary</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-SummaryPayload"><a href="#module-SummaryPayload" class="anchor"></a><code><span class="keyword">module</span> <a href="SummaryPayload/index.html">SummaryPayload</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-SwitchCase"><a href="#module-SwitchCase" class="anchor"></a><code><span class="keyword">module</span> <a href="SwitchCase/index.html">SwitchCase</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-SymExec"><a href="#module-SymExec" class="anchor"></a><code><span class="keyword">module</span> <a href="SymExec/index.html">SymExec</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-SymExecBlocks"><a href="#module-SymExecBlocks" class="anchor"></a><code><span class="keyword">module</span> <a href="SymExecBlocks/index.html">SymExecBlocks</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Symb"><a href="#module-Symb" class="anchor"></a><code><span class="keyword">module</span> <a href="Symb/index.html">Symb</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-SyntacticCallGraph"><a href="#module-SyntacticCallGraph" class="anchor"></a><code><span class="keyword">module</span> <a href="SyntacticCallGraph/index.html">SyntacticCallGraph</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Tableaux"><a href="#module-Tableaux" class="anchor"></a><code><span class="keyword">module</span> <a href="Tableaux/index.html">Tableaux</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Tabulation"><a href="#module-Tabulation" class="anchor"></a><code><span class="keyword">module</span> <a href="Tabulation/index.html">Tabulation</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-TaintAnalysis"><a href="#module-TaintAnalysis" class="anchor"></a><code><span class="keyword">module</span> <a href="TaintAnalysis/index.html">TaintAnalysis</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-TaintSpec"><a href="#module-TaintSpec" class="anchor"></a><code><span class="keyword">module</span> <a href="TaintSpec/index.html">TaintSpec</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-TaintTests"><a href="#module-TaintTests" class="anchor"></a><code><span class="keyword">module</span> <a href="TaintTests/index.html">TaintTests</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-TaskScheduler"><a href="#module-TaskScheduler" class="anchor"></a><code><span class="keyword">module</span> <a href="TaskScheduler/index.html">TaskScheduler</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Tasks"><a href="#module-Tasks" class="anchor"></a><code><span class="keyword">module</span> <a href="Tasks/index.html">Tasks</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-TestDeterminator"><a href="#module-TestDeterminator" class="anchor"></a><code><span class="keyword">module</span> <a href="TestDeterminator/index.html">TestDeterminator</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Timeout"><a href="#module-Timeout" class="anchor"></a><code><span class="keyword">module</span> <a href="Timeout/index.html">Timeout</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Topl"><a href="#module-Topl" class="anchor"></a><code><span class="keyword">module</span> <a href="Topl/index.html">Topl</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-ToplAst"><a href="#module-ToplAst" class="anchor"></a><code><span class="keyword">module</span> <a href="ToplAst/index.html">ToplAst</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-ToplAutomaton"><a href="#module-ToplAutomaton" class="anchor"></a><code><span class="keyword">module</span> <a href="ToplAutomaton/index.html">ToplAutomaton</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-ToplLexer"><a href="#module-ToplLexer" class="anchor"></a><code><span class="keyword">module</span> <a href="ToplLexer/index.html">ToplLexer</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-ToplMonitor"><a href="#module-ToplMonitor" class="anchor"></a><code><span class="keyword">module</span> <a href="ToplMonitor/index.html">ToplMonitor</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-ToplName"><a href="#module-ToplName" class="anchor"></a><code><span class="keyword">module</span> <a href="ToplName/index.html">ToplName</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-ToplParser"><a href="#module-ToplParser" class="anchor"></a><code><span class="keyword">module</span> <a href="ToplParser/index.html">ToplParser</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-ToplUtils"><a href="#module-ToplUtils" class="anchor"></a><code><span class="keyword">module</span> <a href="ToplUtils/index.html">ToplUtils</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Trace"><a href="#module-Trace" class="anchor"></a><code><span class="keyword">module</span> <a href="Trace/index.html">Trace</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-TraceElem"><a href="#module-TraceElem" class="anchor"></a><code><span class="keyword">module</span> <a href="TraceElem/index.html">TraceElem</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-TraceTests"><a href="#module-TraceTests" class="anchor"></a><code><span class="keyword">module</span> <a href="TraceTests/index.html">TraceTests</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-TransferFunctions"><a href="#module-TransferFunctions" class="anchor"></a><code><span class="keyword">module</span> <a href="TransferFunctions/index.html">TransferFunctions</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-TypeAnnotation"><a href="#module-TypeAnnotation" class="anchor"></a><code><span class="keyword">module</span> <a href="TypeAnnotation/index.html">TypeAnnotation</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-TypeCheck"><a href="#module-TypeCheck" class="anchor"></a><code><span class="keyword">module</span> <a href="TypeCheck/index.html">TypeCheck</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-TypeErr"><a href="#module-TypeErr" class="anchor"></a><code><span class="keyword">module</span> <a href="TypeErr/index.html">TypeErr</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-TypeOrigin"><a href="#module-TypeOrigin" class="anchor"></a><code><span class="keyword">module</span> <a href="TypeOrigin/index.html">TypeOrigin</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-TypeState"><a href="#module-TypeState" class="anchor"></a><code><span class="keyword">module</span> <a href="TypeState/index.html">TypeState</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Types_lexer"><a href="#module-Types_lexer" class="anchor"></a><code><span class="keyword">module</span> <a href="Types_lexer/index.html">Types_lexer</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Types_parser"><a href="#module-Types_parser" class="anchor"></a><code><span class="keyword">module</span> <a href="Types_parser/index.html">Types_parser</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Uninit"><a href="#module-Uninit" class="anchor"></a><code><span class="keyword">module</span> <a href="Uninit/index.html">Uninit</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-UninitDomain"><a href="#module-UninitDomain" class="anchor"></a><code><span class="keyword">module</span> <a href="UninitDomain/index.html">UninitDomain</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-WeakTopologicalOrderTests"><a href="#module-WeakTopologicalOrderTests" class="anchor"></a><code><span class="keyword">module</span> <a href="WeakTopologicalOrderTests/index.html">WeakTopologicalOrderTests</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl></div></body></html>